brian cox dark forest hypothesis